Extended Locally Definable Acceptance Types
نویسنده
چکیده
Hertrampf’s locally definable acceptance types showed that many complexity classes can be defined in terms of polynomially time bounded NTM’s with simple local conditions on the nodes of its computation tree, rather than global concepts like number of accepting paths etc. We introduce extended locally definable acceptance types as a generalization of Hertrampf’s concept in order to formally capture exactly all classes that are definable by simple local conditions in an intuitive sense. Among the new characterizable classes are UP and MODZkP. We show how different types of oracle access, e.g. guarded access, can be characterized by this model. This sheds new light on the discussion on how to access unambiguous computation. We present simple functions that describe precisely objects of current research as the unambiguous oracle, alternation, and promise hierarchies. We exhibit the new class UAP which seems to be an unambiguous analogue of Wagner’s ∇P. UAP (and thus ∇P) contains Few and is currently the smallest class known with this property.
منابع مشابه
Unambiguous Computations and Locally Definable Acceptance Types
Hertrampf’s locally definable acceptance types show that many complexity classes can be defined in terms of polynomial time bounded NTM’s with simple local conditions on the nodes of its computation tree, rather than global concepts like number of accepting paths etc. We introduce a modification of Hertrampf’s locally definable acceptance types which allows to get a larger number of characteriz...
متن کاملExtended Locally Deenable Acceptance Types
Hertrampf's locally deenable acceptance types showed that many complexity classes can be deened in terms of polynomially time bounded NTM's with simple local conditions on the nodes of its computation tree, rather than global concepts like number of accepting paths etc. We introduce extended locally deenable acceptance types as a generalization of Hertrampf's concept in order to formally captur...
متن کاملLocally definable C∞G manifold structures of locally definable CG manifolds
zw Let G be a finite abelian group and 1 ≤ r < ∞. We prove that every locally definable CG manifold admits a unique locally definable C∞G manifold structure up to locally definable C∞G diffeomorphism. zh 2000 Mathematics Subject Classification. 14P10, 14P20, 57S05, 57S15, 58A05, 58A07, 03C64.
متن کاملLocally definable fiber bundles
Let η = (E, p, Y, F, K) be a locally definable fiber bundle and f, h : X → Y two locally definable maps. If f and h are locally definably homotopic, then f ∗(η) and h∗(η) are locally definably fiber bundle isomorphic. 2000 Mathematics Subject Classification. 14P10, 14P20, 03C64.
متن کاملLocally definable homotopy
In [2] o-minimal homotopy was developed for the definable category, proving o-minimal versions of the Hurewicz theorems and the Whitehead theorem. Here, we extend these results to the category of locally definable spaces, for which we introduce homology and homotopy functors. We also study the concept of connectedness in ∨ -definable groups – which are examples of locally definable spaces. We s...
متن کامل